СловникиФорумКонтакти

Google | Forvo | +

linear resolution with selection function for definite clauses

шт.інтел. lineare Resolution mit Selektionsfunktion für definite Klauseln; SLD-Resolution

Додати | Повідомити про помилку | Коротке посилання